Revision: tla-tools--devo--0--patch-46
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Sun Sep  7 20:47:42 JST 2003
Standard-date: 2003-09-07 11:47:42 GMT
Modified-files: configure
Modified-directories: {arch}
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-46
Summary: Fix various configure script issues

